1. Constraint-based verification
پدیدآورنده : Yuan, Jun
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constraints )Artificial intelligence(,Testing ، Digital electronics,Testing ، Electronic systems,Design and construction ، Electronic systems
رده :
QA
340
.
Y92C6
2. Constraint-based verification
پدیدآورنده : Yuan, Jun.
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : ، Constraints )Artificial intelligence(,Testing ، Digital electronics,Testing ، Electronic systems,Design and construction ، Electronic systems
رده :
Q
340
.
Y83
